An accurate and practical buffer allocation model for the buffer cache based on marginal gainsJONG MIN KIM; DONGHEE LEE; NOH, Sam H et al.Information processing letters. 2003, Vol 85, Num 2, pp 93-97, issn 0020-0190, 5 p.Article

Safelet implementation technologies: Java vs. juicePAKSTAS, Algirdas; SHAGAEV, Igor.EUROCOMM 2000. Conference. 2000, pp 335-339, isbn 0-7803-6323-XConference Paper

Linux, une alternative aux solutions propriétaires = Linux, an alternative to the owner solutionsFARINA, J.-C.Technologies internationales (Strasbourg). 1999, Num 51, pp 15-18, issn 1165-8568Article

Animating formal proof at the surface : The Jape proof calculatorBORNAT, R; SUFRIN, B.Computer journal (Print). 1999, Vol 42, Num 3, pp 177-192, issn 0010-4620Article

On the scheduling of variable latency functional unitsMUELLER, S. M.Annual ACM symposium on parallel algorithms and architectures. 1999, pp 148-154, isbn 1-58113-124-0Conference Paper

Visual behavior authoring for interactive 3-D applicationsNAKAGAWA, S; ISHIDA, H.NEC research & development. 1997, Vol 38, Num 2, pp 270-279, issn 0547-051XArticle

Un serveur de logiciels libres = A freeware files serverLEON, L; ROUGEAU, P.Micro bulletin. 1997, Num 70, pp 8-15, issn 0761-2907Article

Le réflexe de la sauvegarde = Safeguard reflex01 informatique (Paris. 1986). 1995, Vol 1342, pp 22-24, issn 0298-2285Article

Modélisation: méthodes objets: un premier pas vers la convergence = Modeling: objects methods: fust step to convergenceREMY, C.01 informatique (Paris. 1986). 1995, Vol 1349, pp 22-23, issn 0298-2285Article

The Internet, world-wice web, and mosaic : an overviewMCENERY, K. W.American journal of roentgenology (1976). 1995, Vol 164, Num 2, pp 469-473, issn 0361-803XArticle

Du formalisme de la dérivation généralisée à l'unité «Outils Mathématiques» du logiciel CRONE = From the generalized derivation's formalism to the «Mathematical Tools» unit of the CRONE SoftwareBansard, Muriel; Oustaloup, Alain.1993, 289 p.Thesis

The Blockhandler and the Bitfield packageRICHARDSON, J.Journal of symbolic computation. 1992, Vol 14, Num 1, pp 93-101, issn 0747-7171Article

On sorting in the presence of erroneous informationBAGCHI, A.Information processing letters. 1992, Vol 43, Num 4, pp 213-215, issn 0020-0190Article

Parallel multiple searchZHAOFANG WEN.Information processing letters. 1991, Vol 37, Num 4, pp 181-186, issn 0020-0190, 6 p.Article

Radix sort on the hypercubeMANZINI, G.Information processing letters. 1991, Vol 38, Num 2, pp 77-81, issn 0020-0190, 5 p.Article

Selection and sorting in totally monotone arraysKRAVETS, D; PARK, J. K.Mathematical systems theory. 1991, Vol 24, Num 3, pp 201-220, issn 0025-5661Article

A guide to sorting on the mesh-connected processor arrayCHLEBUS, B. S; KUKAWKA, M.Computers and artificial intelligence. 1990, Vol 9, Num 6, pp 599-610, issn 0232-0274, 12 p.Article

A parallel sorting-merging algorithm for tightly coupled multiprocessorsEVANS, D. J.Parallel computing. 1990, Vol 14, Num 1, pp 111-121, issn 0167-8191, 11 p.Article

Bounds on the size of test sets for sorting and related networksMOON JUNG CHUNG; RAVIKUMAR, B.Discrete mathematics. 1990, Vol 81, Num 1, pp 1-9, issn 0012-365X, 9 p.Article

Parallel selectionAZAR, Y; PIPPENGER, N.Discrete applied mathematics. 1990, Vol 27, Num 1-2, pp 49-58, issn 0166-218X, 10 p.Conference Paper

A MACSYMA program for the multiple bifurcation analysis of double-diffusive convectionMAGNAN, J. F.Journal of symbolic computation. 1989, Vol 7, Num 2, pp 189-197, issn 0747-7171Article

An example of application of symbolic computation in solid state physicsVORONTSOV, S. A.Journal of symbolic computation. 1989, Vol 7, Num 2, pp 179-181, issn 0747-7171Article

Analysis and benchmarking of two parallel sorting algorithms: hyperquicksort and quickmergeQUINN, M. J.BIT (Nordisk Tidskrift for Informationsbehandling). 1989, Vol 29, Num 2, pp 239-250, issn 0006-3835Article

Page / 21